Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática - MFES 2019/2020

Search: ^e

Education/MFES1920 Web Changed Changed by
EM 12 Feb 2020 - 07:58 - r36 AlcinoCunha
Especificação e Modelação Programa Lógicas para especificação e modelação Lógica de primeira ordem Lógica relacional Lógica temporal ...
EquipaDocente 17 Sep 2019 - 11:04 - NEW JoseNunoOliveira
Equipa docente Soares Barbosa Alcino Cunha João Frade Moreira Macedo Nuno Oliveira Sousa Pinto ...
Found 2 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM